Abductive logic programming - PDFSEARCH.IO - Document Search Engine

Abductive logic programming
Results: 29

#	Item
11	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
12	J Log Lang Inf[removed]:105–106 DOI[removed]s10849[removed]Formal Models of Awareness Thomas Ågotnes · Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:31:06 Metalogic Artificial intelligence Logical syntax Logical consequence Epistemic modal logic Entailment Logic programming Abductive reasoning Agent-based model Logic Science Reasoning
13	Artificial Intelligence and the Natural World Robert Kowalski Imperial College London March 2001 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 06:34:24 Epistemology Reasoning Branches of philosophy Artificial intelligence Thought The Fox and the Crow Logic programming Abductive reasoning Reason Logic Science Knowledge
14	Combining Logic Programs and Production Systems Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-25 11:02:02 Logic programming Programming paradigms Multi-agent systems Reasoning Epistemology Abductive logic programming AgentSpeak Prolog Robert Kowalski Artificial intelligence Computing Software engineering
15	int3.rolemode sherol.4-26 Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:52 Free will Metaphysics Philosophy of life Philosophy of religion Theology Alice and Bob Abductive logic programming Narrative mode Storytelling System Fiction Literature Causality
16	Computational Logic as a Dual Process Model of Thought Bob Kowalski Imperial College London 10 February[removed]Abstract In the dual process model of thinking, developed in Cognitive Psychology, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-12 15:24:01 Reasoning Non-classical logic Programming paradigms Interdisciplinary fields Logic programming Abductive logic programming Knowledge representation and reasoning Robert Kowalski Computational intelligence Science Logic Knowledge
17	The Logical Way to Be Artificially Intelligent Robert Kowalski Imperial College London [removed] http://www.doc.ic.ac.uk/~rak/ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-01-31 10:29:12 Reasoning Epistemology Artificial intelligence Deduction Multi-agent systems Abductive logic programming Logic programming Abductive reasoning Robert Kowalski Logic Science Knowledge
18	Artificial Intelligence and Human Thinking Robert Kowalski Imperial College London United Kingdom [removed] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-05-10 03:51:12 Mathematical logic Non-classical logic Reasoning Abductive logic programming Epistemology Reason Modal logic Robert Kowalski Intelligent agent Logic Logic programming Science
19	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
20	Proceedings of the Eleventh International Joint Conference on Articial Intelligence, 1993, pp. 24{29 Focusing Construction and Selection of Abductive Hypotheses David B. Leake Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2002-03-31 10:46:04 Knowledge Abductive reasoning Explanation Logic programming Reason Case-based reasoning Inference Hypothesis Scientific theory Science Reasoning Cognition

UPDATE